bash- read lines of a file into an array